gtv_to_set_of_gtv

function gtv_to_set_of_gtv(gtv: gtv, type: type): set<gtv>